Richard White’s Inventing Australia: revisiting the invention forty years later

Roman Ingarden: Forty Years Later

Algorithmic Statistics: Forty Years Later

Algorithmic statistics has two different (and almost orthogonal) motivations. From the philosophical point of view, it tries to formalize how the statistics works and why some statistical models are better than others. After this notion of a “good model” is introduced, a natural question arises: it is possible that for some piece of data there is no good model? If yes, how often these bad (non-...

Forty years later: Updating the Fossilization Hypothesis

ZhaoHong Han Language Teaching / Volume null / Issue 02 / April 2013, pp 133 ­ 171 DOI: 10.1017/S0261444812000511, Published online: 22 February 2013 Link to this article: http://journals.cambridge.org/abstract_S0261444812000511 How to cite this article: ZhaoHong Han (2013). Forty years later: Updating the Fossilization Hypothesis. Language Teaching, null, pp 133­171 doi:10.1017/S02614448120005...

Clinical applications of neurostimulation: forty years later.

With the recent technological advances, neurostimulation has provided new hope for millions of patients with debilitating chronic pain conditions that respond poorly to other therapies. Outcome research demonstrated that patients with failed back surgery syndrome and complex regional pain syndromes benefit significantly from neurostimulation in pain reduction, functional capacity, and quality o...

Henkin's Completeness Proof: Forty Years Later

1 In his 1949 paper, "The completeness of the first-order calculus", Henkin developed what is now called the method of (individual) terms to establish that every consistent set of statements of a first-order language L has a model of cardinality α, a the number of statements of L. The idea is to start with such a set S, construct a so-called term-extension L of L by adding a new terms to the vo...